Membership Nomination Drive Set for '76

Set - Membership Adaptive Equalization

This paper considers the problems of channel estimation and adaptive equalization in the novel framework of set-membership parameter estimation. Channel estimation using a class of set-membership identiication algorithms known as optimal bounding ellipsoid (OBE) algorithms and their extension to track time-varying channels are described. Simulation results show that the OBE channel estimators o...

Set-π: Set Membership π-calculus

Communication protocols often rely on stateful mechanisms to ensure certain security properties. For example, counters and timestamps can be used to ensure authentication, or the security of communication can depend on whether a particular key is registered to a server or it has been revoked. ProVerif, like other state of the art tools for protocol analysis, achieves good performance by convert...

Smart: a Toolbox for Set-membership Filtering

Sridhar Gollamudi Shirish Nagaraj Yih-Fang Huang Laboratory for Image and Signal Analysis Department of Electrical Engineering University of Notre Dame Notre Dame, IN 46556 E-mail: [email protected] Abstract | This paper presents the concept of SetMembership Filtering (SMF), an extension of SetMembership Identi cation (SMI) theory to the general ltering problem. A toolbox of adaptive solutions cal...

Satisfiability-based Set Membership Filters

Introduced here is a novel application of Satisfiability (SAT) to the set membership problem with specific focus on efficiently testing whether large sets contain a given element. Such tests can be greatly enhanced via the use of filters, probabilistic algorithms that can quickly decide whether or not a given element is in a given set. This article proposes SAT filters (i.e., filters based on S...

KETAMINE Nomination 1.0 BASIS OF NOMINATION